#include<stdio.h>

int main()
{
	int a = 13;
	a &= (~(1 << 3));
	printf("%d\n", a);
	return 0;
}